/*
 * Copyright (c) Huawei Technologies Co., Ltd. 2021-2021.
 * Description: internal
 * Author: fuxiancheng <fuxiancheng@huawei.com>
 * Create: 2021-01-20
 */

#ifndef __HAL_RTOS_SHARE_IPI_INTERNAL_H__
#define __HAL_RTOS_SHARE_IPI_INTERNAL_H__

#ifdef CONFIG_RTOS_HAL_SHARE_IPI
#define NR_HAL_IPI	16
int call_ipievent_notifiers(unsigned long ipinr, void *cpu);
#endif

#endif
